cask 'tla-plus-toolbox' do
  version '1.7.0'
  sha256 '66ee35f952fd80239cbf3c7e869bd0315234165677efc2a0f00d2a00ac1c6512'

  # github.com/tlaplus/tlaplus/ was verified as official when first introduced to the cask
  url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip"
  appcast 'https://github.com/tlaplus/tlaplus/releases.atom'
  name 'TLA+ Toolbox'
  homepage 'https://lamport.azurewebsites.net/tla/toolbox.html'

  app 'TLA+ Toolbox.app'
end
